Model engineering - PDFSEARCH.IO - Document Search Engine

Model engineering
Results: 11341

#	Item
421	The limits of tractability in Resolution-based propositional proof systems Stefan Dantchev and Barnaby Martin? School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-03-23 07:22:00 Logic Mathematical logic Mathematics Model theory Predicate logic Finite model theory Automated theorem proving Boolean algebra First-order logic Resolution FO Interpretation
422	Modern model-based development approach for embedded systems Practical Experience Sergey Vinogradov Artem Ozhigin Corporate Technology, Research and Technology Center Add to Reading List Source URL: mbeddr.com Language: English - Date: 2016-08-09 05:22:44 Software engineering Computing Systems engineering Project management Formal methods Unified Modeling Language Modeling language Domain-specific language Software development Model-driven engineering Computer programming Requirement
423	Transformation rules from UML4MBT meta-model to SMT meta-model for model animation Jérôme Cantenot Fabrice Ambert Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:13 Software engineering Theoretical computer science Mathematical logic Formal methods Computability theory Lambda calculus Subroutines Satisfiability modulo theories XC HindleyMilner type system First-order logic Recursion
424	The Influence of Software Module Systems on Modular Verification Harry Li , Kathi Fisler and Shriram Krishnamurthi Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2002-11-30 10:30:39 Hardware verification languages E Component-based software engineering Model checking Modularity Modular programming Aspect-oriented software development Formal verification
425	HANA O KE KAI “Work of the Ocean” NEWSLETTER OF THE OCEAN AND RESOURCES ENGINEERING DEPARTMENT, Spring 2013, Volume 16 Add to Reading List Source URL: www.ore.hawaii.edu Language: English - Date: 2013-08-30 20:04:30 Water waves Physical oceanography Energy conversion Physical geography Wind wave model Tsunami Wave power Oceanography Coastal engineering Ocean Wave Walter Munk
426	EXECUTIVE COMMITTEE BOURNS COLLEGE OF ENGINEERING REPORT TO THE RIVERSIDE DIVISION MAY 24, 2016 To be adopted: Proposed Changes to Computer Science Undergraduate Requirements Add to Reading List Source URL: senate.ucr.edu Language: English - Date: 2016-05-18 17:32:06 FO Finite model theory Bourns College of Engineering CS
427	The limits of tractability in Resolution-based propositional proof systems Stefan Dantchev and Barnaby Martin 1 School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-06-15 11:37:40 Model theory Automated theorem proving Resolution First-order logic IP Interpretation
428	Effects of soil moisture treatment in MM5 on the land-sea breeze simulation during TexAQS2000 period in the Houston-Galveston area Fang-Yi Cheng, Seung-Bum Kim, and Daewon Byun Department of Geosciences, University of Ho Add to Reading List Source URL: www2.mmm.ucar.edu Language: English - Date: 2003-03-05 13:57:26 Computational science Environmental engineering Land management Soil Land Surface Model Hydrology Ozone MM5
429	Data Driven Investigation of Faults in HVAC Systems with Model, Cluster and Compare (MCC) Balakrishnan Narayanaswamy† , Bharathan Balaji† , Rajesh Gupta† , Yuvraj Agarwal†‡ † University ‡ Carnegie Add to Reading List Source URL: mesl.ucsd.edu Language: English - Date: 2015-03-04 00:04:56 Heating ventilating and air conditioning Mechanical engineering Control theory Systems engineering Building automation Sustainable urban planning Variable air volume Anomaly detection Thermostat Fault detection and isolation Control system HVAC
430	Simulation Validation for Societal Systems Alex Yahja September 2006 CMU-ISRISchool of Computer Science Add to Reading List Source URL: www.casos.cs.cmu.edu Language: English - Date: 2008-11-17 12:47:36 Simulation Information science Knowledge engineering Semantic Web Technical communication Agent-based model Scientific modelling Ontology Logic simulation Cyc Reasoning system Conceptual model

UPDATE